Nr |
Label |
Behaviour Description |
Constraint Ref |
Verdict |
Comments |
1 |
|
+IP_tester_bb |
|
|
Initialisation of the tester! |
2 |
|
CREATE (P_TCI:LT_tci) |
|
|
Creation of the real time PTC (P_TCI) |
3 |
|
+TS_control_iut_initialisation_mtc |
|
|
to control initialisation and to avoid deadlocks |
4 |
|
CREATE (P_LM:LT_lm, P_LC:LT_lc) |
|
|
Creation of the real time PTC (P_LM) and the postprocessing PTC (P_LC) |
5 |
|
(TCV_config_with_lc_component:=TRUE) |
|
|
|
6 |
|
+PR_bb_inquiry_iut_slave_mtc (TCV_config_with_lc_component) |
|
|
Inquiry is successfully performed after finnishing this preamble. |
7 |
|
ACTIVATE (DF_testbody_mtc (TCV_config_with_lc_component)) |
|
|
|
8 |
|
START T_guard_var (300) |
|
|
|
9 |
|
+TS_handle_data_exchange_lm_lc_on_mtc (TCV_config_with_lc_component) |
|
|
forwards the link_number and the am_addr from P_LM to P_LC |
10 |
|
+TS_continue_test_on_mtc (TCV_config_with_lc_component) |
|
|
P_LC notifies P_LM can continue the test before receiving CM_TRANSPORT |
11 |
|
+PO_disconnect_mtc (TCV_config_with_lc_component) |
|
|
|
12 |
TB08 |
? DONE (P_TCI, P_LM,P_LC) CANCEL T_guard_var |
|
R |
Query for finalization of PTCs and assigning the final verdict |
LT_tci |
13 |
|
ACTIVATE (DF_termination_p_tci, DF_testbody_p_tci) |
|
|
|
14 |
|
+IP_iut_bb (TSC_role_slave) |
|
|
Initialisation procedure for the IUT. |
15 |
|
+PR_bb_inquiry_iut_slave_p_tci |
|
|
Inquiry is successfully performed after finnishing this preamble. |
16 |
|
TCI_HCI ? HCI_CONNECTION_REQUEST_EVENT |
Hci_connection_request_event (TSPX_bd_addr_tester, TSPX_class_of_device_tester, '01'O) |
|
|
17 |
|
TCI_HCI ! HCI_ACCEPT_CONNECTION_REQUEST [TCV_num_hci_command_packets <> '00'O] |
Hci_accept_connection_request (TSPX_bd_addr_tester, TSC_role_slave) |
|
|
18 |
|
TCI_HCI ? HCI_COMMAND_STATUS_EVENT (TCV_num_hci_command_packets:=HCI_COMMAND_STATUS_EVENT.num_hci_command_packets) |
Hci_command_status_event (TSC_event_status_ok, ?, TSC_command_opcode_hci_accept_connection_request) |
|
|
19 |
TB09 |
TCI_HCI ? HCI_CONNECTION_COMPLETE_EVENT (TCV_hci_event_hci_connection_complete_event:= HCI_CONNECTION_COMPLETE_EVENT, TCV_connection_handle_iut:=TCV_hci_event_hci_connection_complete_event.connection_handle) |
Hci_connection_complete_event (TSC_event_status_ok, ?, TSPX_bd_addr_tester, '01'O, TSC_encryption_mode_disable) |
(P) |
The connection setup is finished, the TCV_connection_handle_iut is assgned by the IUT . |
20 |
|
(TCV_flag_connected:=TRUE) |
|
|
|
21 |
|
TCI_HCI ! HCI_WRITE_SCAN_ENABLE [TCV_num_hci_command_packets <> '00'O] |
Hci_write_scan_enable ('00'O) |
|
0x00 : All Scans disabled |
22 |
TB10 |
TCI_HCI ? HCI_COMMAND_COMPLETE_EVENT (TCV_num_hci_command_packets:=HCI_COMMAND_COMPLETE_EVENT.num_hci_command_packets) |
Hci_command_complete_event ('04'O,?,TSC_command_opcode_hci_write_scan_enable, Return_parameters_status_only) |
(P) |
|
23 |
|
+PO_wait_for_disconnect_p_tci |
|
|
|
LT_lm |
24 |
|
ACTIVATE (DF_termination_p_lm, DF_inquiry_page_p_lm) |
|
|
|
25 |
|
+PR_bb_inquiry_iut_slave_p_lm |
|
|
Inquiry is successfully performed after finnishing this preamble. |
26 |
|
CP_LM ! CM_TRANSPORT |
Cm_exchange_data (TCV_link_number_acl, TCV_am_addr_iut) |
|
send link_number and am_addr to P_LC |
27 |
|
CP_LM ? CM_CONTINUE |
Cm_continue_test_on_p_lm |
|
P_LC notifies P_LM can continue the test case |
28 |
|
LC ! LM_LC_MASTER_CONNECT_REQ |
Lm_lc_master_connect_req (TSPX_bd_addr_iut, TCV_clock_offset_to_iut, TSC_mandatory_scan_mode, TSPX_sr_mode_iut, TCV_link_number_acl, TCV_am_addr_iut, TSPX_bd_addr_tester, TSPX_class_of_device_tester, TSC_mandatory_scan_mode, TSC_sr_r0, TSC_sp_p0) |
|
LM requests LC to setup a connection. |
29 |
|
LC ? LM_LC_MASTER_CONNECT_CFM |
Lm_lc_master_connect_cfm (TSC_confirm_ind_ok) |
|
LM indicates to LC the establishment of an ACL connection. |
30 |
|
(TCV_flag_paging:=TRUE) |
|
|
|
31 |
|
ACTIVATE (DF_termination_p_lm, DF_testbody_p_lm) |
|
|
|
32 |
|
LC ! LM_LC_DATA_REQ START T_LM_30_max |
Lm_lc_data_req (TCV_link_number_acl, TCV_am_addr_iut, TSC_dm1_packet, Lmp_host_connection_req (TSC_ti_master)) |
|
LM requests to LC to send a DM1 packet with a LMP_host_connect_req. |
33 |
TB07
|
LC ? LM_LC_DATA_IND CANCEL T_LM_30_max |
Lm_lc_data_ind (TCV_link_number_acl, TCV_am_addr_iut, ?)Lmp_accepted(TSC_ti_master, TSC_lm_opcode_lmp_host_connection_req))
|
(P)
|
LC indicates to LM the reception of a DM1 packet containing a LMP message.LMP_accepted
|
34 |
|
(TCV_setup_complete_control:=0) |
|
|
|
35 |
|
ACTIVATE (DF_termination_p_lm, DF_setup_complete_p_lm, DF_testbody_p_lm) |
|
|
|
36 |
|
+LTS_setup_complete_tester |
|
|
|
37 |
|
+PO_disconnect_p_lm |
|
|
|
LT_lc |
38 |
|
ACTIVATE (DF_termination_p_lc, DF_every_packet_allowed_p_lc) |
|
|
|
39 |
|
CP_LC ? CM_TRANSPORT (TCV_link_number_acl := CM_TRANSPORT.link_number, TCV_am_addr_iut := CM_TRANSPORT.am_addr) |
Cm_exchange_data (?,?) |
|
receive link_number and am_addr from P_LM |
40 |
|
CP_LC ! CM_CONTINUE |
Cm_continue_test_on_p_lm |
|
P_LC notifies P_LM can continue the test case |
41 |
|
(TCV_id_packet_dac := TSO_get_id_packet (TSPX_bd_addr_iut.lap)) |
|
|
Calculation ID packet in respect to LAP. |
42 |
|
PL ? LC_PL_DATA_REQ |
Lc_pl_data_req (TSC_lc_id_pac, TCV_id_packet_dac) |
|
Tester sends a page packets. |
43 |
|
PL ? LC_PL_DATA_IND |
Lc_pl_data_ind (?, TSC_lc_id_pac, TCV_id_packet_dac) |
|
IUT answers with the same ID packet. |
44 |
|
PL ? LC_PL_DATA_REQ |
Lc_pl_data_req (TSC_lc_fhs_pac, Fhs_packet ( TSPX_bd_addr_tester.lap, TSPX_bd_addr_tester.uap, TSPX_bd_addr_tester.nap, ?, ?, ?, TSPX_class_of_device_tester, ?)) |
|
Tester sends a FHS packet |
45 |
|
PL ? LC_PL_DATA_IND |
Lc_pl_data_ind (?, TSC_lc_id_pac, TCV_id_packet_dac) |
|
IUT sends the second ID packet |
46 |
|
PL ? LC_PL_DATA_REQ START T_lc_newconnection_to |
Lc_pl_data_req (TSC_lc_poll_pac, Lc_link_control_pdu (Packet_header (TCV_am_addr_iut, TSC_poll_packet, TSC_flow_go, TSC_arqn_nak, ?))) |
|
Tester sends the poll packet with the ARQN bit set to NAK. T_lc_newconnection_to is started with 20 ms (default value for newconnectionTO). The IUT has to confirm the reception of the POLL packet within this time. |
47 |
TB01 |
PL ? LC_PL_DATA_IND CANCEL T_lc_newconnection_to |
Lc_pl_data_ind (?, TSC_lc_dm1_pac, Lc_any_acl_pdu (Packet_header (TCV_am_addr_iut, TSC_dm1_packet, ?, TSC_arqn_nak, '1'B))) |
(P) |
The IUT transmits a DM1 packet with the ARQN bit set to NAK and the SEQN bit set to one after reception of the POLL packet. |
48 |
TB02 |
PL ? LC_PL_DATA_IND CANCEL T_lc_newconnection_to |
Lc_pl_data_ind (?, TSC_lc_null_pac, Lc_link_control_pdu (Packet_header (TCV_am_addr_iut, TSC_null_packet, ?, TSC_arqn_nak, ?))) |
(P) |
The IUT transmits a NULL packet with the ARQN bit set to NAK after reception of the POLL packet. |
49 |
|
ACTIVATE (DF_termination_p_lc, DF_tester_sends_acl_packets_p_lc ( (TSC_lc_dm1_pac, TSC_lc_null_pac, TSC_lc_poll_pac)), DF_iut_sends_acl_packets_p_lc (TSC_lc_null_pac), DF_wrong_hec_crc_packets_p_lc) |
|
|
Tester can send DM1, POLL or NULL packets. The IUT can send NULL packets |
50 |
TB03 |
PL ? LC_PL_DATA_IND |
Lc_pl_data_ind (?, TSC_lc_dm1_pac, Lc_any_acl_pdu (Packet_header (TCV_am_addr_iut, TSC_dm1_packet, ?, ?, '1'B))) |
(P) |
The IUT transmits a DM1 packet with the SEQN bit set to one. |
51 |
TB04 |
PL ? LC_PL_DATA_IND |
Lc_pl_data_ind (?, TSC_lc_dm1_pac, Lc_dm1_lm_pdu (Packet_header (TCV_am_addr_iut, TSC_dm1_packet, ?, ?, '0'B), ?)) |
(F) |
The IUT does not transmit a DM1 packet with the SEQN bit set to one. |
52 |
TB05 |
PL ? LC_PL_DATA_IND CANCEL T_lc_newconnection_to |
Lc_pl_data_ind (?, (TSC_lc_null_pac, TSC_lc_dm1_pac), Lc_any_acl_pdu (Packet_header (TCV_am_addr_iut, (TSC_null_packet, TSC_dm1_packet), ?, TSC_arqn_ack, ?))) |
(F) |
IUT does not transmit any ACL packet with the ARQN bit set to NAK. |
53 |
TB06 |
? TIMEOUT T_lc_newconnection_to |
|
(F) |
The IUT does not confirm the reception of the POLL packet after start up. |
LTS_setup_complete_tester |
54 |
|
LC ! LM_LC_DATA_REQ |
Lm_lc_data_req (TCV_link_number_acl, TCV_am_addr_iut, TSC_dm1_packet, Lmp_setup_complete (TSC_ti_master)) |
|
The answer LMP_setup_complete is sent to the IUT |
55 |
|
[TCV_setup_complete_control=1] |
|
|
IUT has already sent LMP_SETUP_COMPLETE |
56 |
|
(TCV_flag_connected:=TRUE) |
|
|
|
57 |
|
[TCV_setup_complete_control<>1] |
|
|
IUT has not sent LMP_SETUP_COMPLETE yet |
58 |
|
LC ? LM_LC_DATA_IND (TCV_flag_connected:=TRUE) |
Lm_lc_data_ind (TCV_link_number_acl, TCV_am_addr_iut, Lmp_setup_complete (TSC_ti_slave)) |
|
The LMP_setup_complete is received by the tester and the state CONNECTED is reached |
59 |
|
(TCV_setup_complete_control:=1) |
|
|
|